fetch:
	curl https://raw.githubusercontent.com/gsdlab/clafer/develop/src/clafer.cf > fetched/clafer.cf
